VDict - Definition of first order logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

equational logic first-order logic HOL BABEL predicate logic LOP logic Lambda Prolog TEMPLOG neutrosophic logic TABLOG Isabelle connective Lolli Universal algebra F-Logic quantifier propositional logic Horn clause channel service unit EQLog HiLog Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic symbolic logic LO classical logic linear logic Wild_LIFE logic emulator intuitionistic logic P-Prolog LOGIN intuitionistic probability skolemisation traversal modal logic Distributed Logic Programming logic programming {log} Fresh two-valued logic Constraint Handling In Prolog HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Terse PRISM LML ObjVProlog Built-in Self Test Subset-Equational Language Generic Array Logic Smarandache logic more...